Pointer acceleration system modeling

ABSTRACT

The present disclosure describes systems, methods, and apparatuses utilizing pointer acceleration system modeling. In one exemplary method, among others, such a method obtains, a closed loop pointer acceleration system model, in which the closed loop pointer acceleration system model is based on (1) a model describing user pointing motions integrated with (2) a model of pointer acceleration motions under operational conditions; obtains values for system parameters that include pointer acceleration profile parameters and operational condition parameters; and determines a set of pointer trajectories for a given acceleration profile having the pointer acceleration profile parameters and operational condition parameters.

CROSS-REFERENCE TO RELATED APPLICATION

This application claims priority to copending U.S. provisional application entitled, “Control Method for Pointer Acceleration for Computer Mice or Other Interfaces,” having Ser. No. 62/481,783, filed Apr. 5, 2017, which is entirely incorporated herein by reference.

TECHNICAL FIELD

The present disclosure is generally related to implementation of pointer acceleration techniques by pointer input devices.

BACKGROUND

Pointer acceleration is often used in computer mice and other interfaces to increase the range and speed of pointing motions without sacrificing precision during slow movements. However, the effects of pointer acceleration are not yet well understood.

BRIEF DESCRIPTION OF THE DRAWINGS

Many aspects of the present disclosure can be better understood with reference to the following drawings. The components in the drawings are not necessarily to scale, emphasis instead being placed upon clearly illustrating the principles of the present disclosure. Moreover, in the drawings, like reference numerals designate corresponding parts throughout the several views.

FIG. 1 is a flow chart diagram of an exemplary method for evaluating a pointer acceleration profile in accordance with embodiments of the present disclosure.

FIG. 2 is a block diagram of an exemplary computer that can implement one or more operations specified by the method of FIG. 1.

FIG. 3 depicts a table summarizing scaling function G (acceleration pointer profiles) that can be evaluated by embodiments of the present disclosure.

FIG. 4 is a block diagram representing the integration of a VITE model (representing human pointing dynamics) with a pointing acceleration model of a pointer device in accordance with embodiments of the present disclosure.

FIG. 5 is a plot of a robustly forwarding invariant set of trajectories in accordance with one example of the present disclosure.

FIG. 6a is a plot of a robustly forwarding invariant set of trajectories in accordance with an additional example of the present disclosure.

FIG. 6b is a plot of a perturbation set in accordance with the example of FIG. 6 a.

FIG. 7a is a simulation plot of trajectories without delays or perturbations in accordance with one example of the present disclosure,

FIG. 7b is a simulation plot of trajectories with delays or perturbations in accordance with one example of the present disclosure.

DETAILED DESCRIPTION

Aspects of the present disclosure are relevant to designing pointing interfaces. Methods, systems, and apparatuses of the present disclosure use a system perspective and feedback control to analyze the effects of pointer acceleration and optimize the performance of pointer acceleration of pointer devices under varying operational and user conditions, in various embodiments.

Pointing devices such as computer mice, joysticks, and touchpads are commonplace in today's computing and communication systems. Most of these devices use pointer acceleration techniques, which increases the sensitivity of the pointer as the speed of the pointer increases, to improve and speed up basic user interactions. Pointer acceleration helps by adjusting the device's sensitivity based on the user's movement speed, which allows the user to control the pointer with a wider range of speeds and makes the device feel more responsive. However, there has previously been a lack of systematic research in how to design and implement pointer acceleration so it is best for a particular task, interface, and user. Consequently, designers and users must manually tweak pointer acceleration settings in an attempt to reach desired levels of performance and comfort.

Embodiments of the present disclosure can characterize which acceleration profiles will provide a desired level of performance and stability properties under different operating conditions and/or user attributes. For example, by taking a systems perspective of an overall pointing system that includes the pointing device, pointer acceleration, and human user, as opposed to only considering the pointer device itself. The results show how acceleration profiles can affect the robustness of the overall pointing system to delays and disturbances, which can limit performance in many applications. Correspondingly, embodiments of the present disclosure can enable selection of selection of pointer acceleration system parameters that can enhance the performance of pointing devices under realistic operational conditions and/or user attributes, whereas current pointer acceleration methods are limited by heuristic designs that lack of consideration of feedback and robustness. For example, even though pointer acceleration is used widely, there is not yet a consensus on how much or what type of pointer acceleration should be used for a given task or interface. In practice, real implementations of pointer acceleration are usually designed by experimenting with different acceleration profiles without using specific design principles. There are also some disadvantages to pointer acceleration that are not yet completely understood. For instance, pointer acceleration may make it more difficult for the user to predict the motion of the pointer and to reproduce desired motions. This can decrease pointing accuracy and speed and can worsen the user's subjective rating of a device's feel.

However, by better understanding the effects of pointer acceleration and human pointing motion, embodiments of the present disclosure can be an important tool in the design of improved pointer interfaces having enhanced performance characteristics. Such performance enhancements may include improving the speed and precision of various pointing devices, which can lead to the development of improved interfaces and interactions for applications ranging from everyday computer use, to video games, virtual reality, remote control of unmanned underwater or space vehicles, etc.

Some example embodiments are directed to apparatuses and methods for evaluating pointer acceleration parameters within a pointer acceleration system model, in which the closed pointer acceleration model is based on a first model describing user pointing motions integrated with a second model of pointer acceleration motions. Accordingly, exemplary apparatuses and methods of the present disclosure can develop performance constraints for the pointer acceleration system model having the pointer acceleration parameters to converge to a defined stable state.

In the sections that follow, it is shown how a closed loop pointing system is affected by delays and perturbations. Correspondingly, in some embodiments, apparatuses and methods may define a relationship between maximum delay, maximum perturbation set, and a set of pointer trajectories for a given acceleration profile (or scaling function) that describes a defined stable state for the stated operational conditions (e.g., delay and perturbation parameters). Therefore, based on parameters for a given acceleration profile, maximum delay, and maximum perturbation set, the set of pointer trajectories (trajectory set S) for a given acceleration profile can be determined that will not exceed the stated operational conditions. Accordingly, different pointer acceleration profiles and their respective trajectory sets can be determined and evaluated under the same operational conditions.

Next, the flow chart of FIG. 1 shows an exemplary method for evaluating a pointer acceleration profile in accordance with embodiments of the present disclosure. The method 100 of FIG. 1 comprises a computing device 200 (FIG. 2) (or an acquisition module 220 of the same or a different computing device) obtaining (110) a closed loop pointer acceleration system model, in which the closed loop pointer acceleration system model is based on (1) a model describing user pointing motions integrated with (2) a model of pointer acceleration motions under operational conditions. Such operational conditions may be represented as delay and perturbation functions. Further, the computing device 200 (or the acquisition module 220) may obtain (120) values for system parameters that include pointer acceleration profile parameters or values, maximal delay parameters/values, and maximal perturbation parameters/values from a computing data store 290 and/or memory 250 and/or user input 280. The computing device (or a calculation module 230 of the same or a different computing device) may then determine (130) a set of pointer trajectories (trajectory set S) for a given acceleration profile (having the specified pointer acceleration profile parameters) and operational conditions. Then, the computing device, can repeat (140) the above-recited steps for a different set of system parameters defining a different pointer acceleration profile. Further, the computing device can output or present a side-by-side comparison of the resulting trajectory sets for the different pointer acceleration profiles on a display. Also, the computing device (or a simulation module 240) can plot (150) one or more trajectories of the different pointer acceleration profiles on the display.

The acquisition module 220, the calculation module 230, and/or the simulation module 240 can be implemented in software (e.g., firmware), hardware, or a combination thereof. For example, in an exemplary mode, the calculation module 230, among others, is implemented in software, as an executable program, and is executed by a special or general purpose digital computer. An example of a computer that can implement the calculation module 230 of the present disclosure is shown in FIG. 2.

Generally, in terms of hardware architecture, as shown in FIG. 2, the computer 200 includes a processor 210, memory 250, and one or more input and/or output (I/O) devices 230 (or peripherals) that are communicatively coupled via a local interface 240. The local interface 260 can be, for example but not limited to, one or more buses or other wired or wireless connections, as is known in the art. The local interface 260 may have additional elements, which are omitted for simplicity, such as controllers, buffers (caches), drivers, repeaters, and receivers, to enable communications. Further, the local interface may include address, control, and/or data connections to enable appropriate communications among the aforementioned components.

The processor 210 is a hardware device for executing software, particularly that stored in memory 250. The processor 210 can be any custom made or commercially available processor, a central processing unit (CPU), an auxiliary processor among several processors associated with the computer 200, a semiconductor based microprocessor (in the form of a microchip or chip set), a macroprocessor, or generally any device for executing software instructions.

The memory 250 can include any one or combination of volatile memory elements and nonvolatile memory elements. Moreover, the memory 250 may incorporate electronic, magnetic, optical, and/or other types of storage media. Note that the memory 250 can have a distributed architecture, where various components are situated remote from one another, but can be accessed by the processor 210.

The software in memory 250 may include one or more separate programs, each of which comprises an ordered listing of executable instructions for implementing logical functions. In the example of FIG. 2, the software in the memory 250 includes the calculation module 130 in accordance with an exemplary embodiment, among other modules 120, 140, and a suitable operating system (O/S) 270. The operating system 270 essentially controls the execution of other computer programs, such as the calculation module 130, and provides scheduling, input-output control, file and data management, memory management, and communication control and related services.

The I/O devices 280 may include input devices, for example but not limited to, a keyboard, mouse, scanner, microphone, etc. Furthermore, the I/O devices 280 may also include output devices, for example but not limited to, a printer, display, etc. Finally, the I/O devices 280 may further include devices that communicate both inputs and outputs, for instance but not limited to, a modulator/demodulator (modem; for accessing another device, system, or network), a radio frequency (RF) or other transceiver, a telephonic interface, a bridge, a router, etc.

When the computer 200 is in operation, the processor 210 is configured to execute software stored within the memory 250, to communicate data to and from the memory 250, and to generally control operations of the computer 200 pursuant to the software. The calculation module 130 and the O/S 270, in whole or in part, but typically the latter, are read by the processor 210, perhaps buffered within the processor 210, and then executed.

In the following description, various specific details are set forth to describe specific examples presented herein. It should be apparent to one skilled in the art, however, that one or more other examples and/or variations of these examples may be practiced without all the specific details given below. In other instances, well known features have not been described in detail so as not to obscure the description of the examples herein.

As discussed, embodiments of the present disclosure utilize a systems perspective to evaluate pointer acceleration. In one embodiment, such a system model captures most existing implementations of pointer acceleration along with a model representation of human pointing dynamics with feedback delays or perturbations. To represent human pointing dynamics, a vector integration to endpoint (VITE) model is used in various embodiments. This approach is novel in that prior approaches have not represented a closed pointer system (for pointer device and the user) under realistic operational conditions. For example, perturbations can arise from discretization errors and inaccuracies in human perception and control. Embodiments of the present disclosure may also develop state performance bounds for the closed loop system, as related to Fitts Law, in order to find bounds on the allowable perturbations and/or delays that will allow for performance of a pointer device at a desired level. In the sections that follow, methodology of the embodiments of the present disclosure are discussed.

Section 1. Pointer Acceleration Background and Dynamics

Considerable research has shown that humans generate similar motions when reaching and pointing with their arms, laser pointers, mouse pointers, and other devices. The VITE model for pointing can be written as

$\begin{matrix} \left\{ \begin{matrix} {\overset{.}{v} = {\gamma \left( {{- v} + \rho - u} \right)}} \\ {\overset{.}{y} = {{g(t)}\lbrack v\rbrack}_{d}^{+}} \end{matrix} \right. & (1) \end{matrix}$

where the gain g(t) is called the go signal, y>0 is an internal system parameter, ρ is the target position of the pointer, u is the feedback of the perceived position of the pointer, y is the true position of the pointer that is specified by the user, and the state v is called the difference vector. The operator [•]d is used to switch the pointer motion off when the pointer overshoots its target, and is defined by

$\begin{matrix} {\lbrack v\rbrack_{d}^{+} = \left\{ \begin{matrix} {v,} & {{{if} < v},{d > \geq 0}} \\ {0,} & {otherwise} \end{matrix} \right.} & (2) \end{matrix}$

where d is typically defined as the direction from the pointer to the target at the initial time, so d=ρ(0)−u(0). The notation [v]_(d) ⁺ extends the original VITE model to allow arbitrary target locations.

One can use the VITE model to describe motion by a person trying to drive the true position y to the target position ρ for the pointer. If there is an overshoot and y passes over the target pointer position, then the human quickly stops, but does not take corrective action to move back closer to the target. The model parameters are adjusted by the human to fit different types of performance objectives, and these parameters can be viewed as being very slowly time varying. In Section 4, we show how a relationship between y and the pointer acceleration scaling function (also referred as a pointer acceleration profile) can ensure that key state performance bounds are met.

Pointer acceleration aims to make the pointer more sensitive at higher speeds than lower speeds. This enables quick and long pointer motions, as well as slow and precise pointer motions. As we will see below, pointer acceleration can make pointer motion less stable in the presence of feedback delays, in addition to making it more difficult for a user to predict pointer motion. Whether or not pointer acceleration improves a user's subjective feel for the pointing interface appears to be a very personal choice. Although many operating systems have some type of pointer acceleration as their default settings, many modem video games that require exact pointer movement do not use any pointer acceleration.

While there are many different pointer acceleration implementations, most can be described by the following model. We view pointer acceleration as a transformation of the user's pointer position output. If v∈

^(n) is the pointer position specified by the user, then the pointer acceleration output ω satisfies

{dot over (ω)}=G(|{dot over (v)}|){dot over (v)}  (3)

where G:

→

is a suitable scaling function and |•| is the usual Euclidean norm (see Section 2 for notation used in this disclosure). A few popular choices for the scaling function G are summarized in Table I (shown in FIG. 3), including the Linear and Threshold scaling functions. The form of pointer acceleration (3) is in fact pointer velocity scaling, although we use the term pointer acceleration as this language is commonly used in the literature. We can typically approximate the profiles in such a way that G is positive definite and continuously differentiable, which can help us apply Theorem 3 later. A notable exception to the pointer acceleration model (3) involving actual acceleration is the polynomial scaling function G_(polynomial)(|{dot over (v)}|, |{umlaut over (v)}|)=k₁+k₂|{dot over (v)}|^(|{umlaut over (v)}|), which adjusts sensitivity using both pointer input acceleration and velocity. While we do not consider scaling functions that are a function of pointer input acceleration, we believe that it may be possible to extend our work to them. In practice, most pointing interfaces do not measure pointer velocity directly. Instead, the pointer velocity is computed via discretization for use in the acceleration system. While this is typically not a major issue, the resulting accelerated pointer output can be very irregular when the pointer moves very quickly, or when the scaling is very large. One typically mitigates this by limiting the maximum pointer speed output, but we do not consider this here; however, see Remark 3 for additive uncertainties on v that can represent discretization errors.

To connect the VITE model (1) with the pointing acceleration model (3), as in FIG. 4, we choose the input u=ω and the output v=y. In later sections, we consider feedback connections that have delays and perturbations, which may be present in real systems because of limitations in the human operator and computer interface. Choosing the overall state as x=(ω,v)^(T)=(x₁,x₂)^(T), the closed loop pointing dynamics become

$\begin{matrix} {\overset{.}{x} = \begin{bmatrix} \overset{.}{\omega} \\ \overset{.}{\gamma} \end{bmatrix}} \\ {= \begin{bmatrix} {{G\left( {\overset{.}{v}} \right)}\overset{.}{v}} \\ {\gamma \left( {{- v} + \rho - u} \right)} \end{bmatrix}} \\ {= \begin{bmatrix} {{G\left( {\overset{.}{y}} \right)}\overset{.}{y}} \\ {\gamma \left( {{- v} + \rho - \omega} \right)} \end{bmatrix}} \\ {= \begin{bmatrix} {{G\left( {{{g(t)}\lbrack v\rbrack}_{d}^{+}} \right)}{{g(t)}\lbrack v\rbrack}_{d}^{+}} \\ {\gamma \left( {{- v} + \rho - \omega} \right)} \end{bmatrix}} \\ {= {\begin{bmatrix} {{G\left( {{{g(t)}\left\lbrack x_{2} \right\rbrack}_{d}^{+}} \right)}{{g(t)}\left\lbrack x_{2} \right\rbrack}_{d}^{+}} \\ {\gamma \left( {{- x_{2}} + \rho - x_{1}} \right)} \end{bmatrix}.}} \end{matrix}$

For simplicity, we take g to be a constant, which is the most commonly considered case in the literature, and only consider one dimensional pointing dynamics, as most pointing motions are largely constrained to the line between the start and goal pointer position, even when there are additional degrees of freedom. We assume without loss of generality that ρ=0 and x₁(0)=ω(0)<0, so d=ρ(0)−u(0)>0, which can always be achieved by a coordinate transformation. The closed loop dynamics are then

$\begin{matrix} {{\overset{.}{x} = \begin{bmatrix} {{\overset{\sim}{G}\left( x_{2}^{+} \right)}x_{2}^{+}} \\ {- {\gamma \left( {x_{1} + x_{2}} \right)}} \end{bmatrix}},} & (4) \end{matrix}$

where x=(x₁,x₂)^(T)=(ω,v)^(T) as defined previously, {tilde over (G)}(•)=gG (g•), and x₂ ⁺ denotes the positive part, that is p⁺=p when p≥0, and p=0 when p<0. The desired equilibrium set is

={x∈

² :x ₁≥0,x ₂ =−x ₁},   (5)

but see below for more general pointing models with delays, perturbations, and state constraints.

Section 2: Definitions and Notations.

In this section, all dimensions are arbitrary, unless indicated. We use the standard classes of comparison function

_(∞) and

. Let

⊆

^(n). A function α defined on some set

⊆

^(n) is positive definite with respect to

provided that it is zero at all points in

∩

and positive at all points in

\

. We use C¹ to mean continuously differentiable, and we understand the derivative ƒ′(0) of any function ƒ that is defined on [0,∞) as the right derivative at 0. By piecewise continuity of a function defined on [0,∞), we mean that it is continuous except at finitely many points on each bounded interval. Let

⊆

^(m) and

denote the set of all piecewise continuous locally bounded functions δ: [0,∞)→

. For all δ∈

and any interval

⊆[0,∞), let

be the supremum of the restriction of δ to

. Set |x|

=inf{|x−r|:r∈

} for all x∈

^(n).

Given a constant τ≥0 (representing an input delay) and a set

⊆

^(n), let C_(in)(

) be set of all continuous functions x₁: [−τ,0]→

, which we write as C_(in) when

=

^(n). We define the operators x_(t)(s)=x(t+s) for all s∈[−τ, 0] and t≥0 and all functions x: [−τ,∞)→

^(n). Given a function

: C_(in)×

→

^(n), we call the system {dot over (x)}(t)=

(x₁,δ(t)) forward complete provided for each x_(I)∈C_(in) and each δ∈

, the corresponding solution x(t, x_(I), δ) of the system is uniquely defined for all t∈[0,∞). Given a subset

⊆

^(n) and a forward complete system, we say that

is robustly forwardly invariant for the system with perturbations valued in

provided x(t, x_(I), δ)∈

for all t≥0, x_(I)∈C_(in)(

), and δ ∈

. We say that

is robustly forwardly invariant for the system with the maximal perturbation set

provided these two conditions hold: (a)

is robustly forwardly invariant for the system with perturbations valued in

and (b) for each point δ∈

^(m)\closure(

), there exists an initial function x_(I)∈C_(in)(

) such that the trajectory x(t,x_(I),δ) of the system for the constant perturbation δ(t)=δ admits a time t>0 such that x(t,x_(I),δ)∈

^(n)\

. Maximality of

therefore roughly means that enlarging

would allow trajectories to leave

. The special case of robust forward invariance where there are no perturbations δ is the standard strong invariance property.

The system is ISS with respect to

and

on

provided (a)

contains

and is robustly forwardly invariant for the system with perturbations valued in

, and (b) there are functions β∈

and α∈

_(∞) such that for all solutions x(•,x_(I),δ) of the system for all x_(I)∈C_(in)(

) and for all δ∈

, we have |x(t,x_(I),δ)

≤

:−τ≤r≤0}, t)+α(|δ|_([0,t])) for all t≥0. The special case of ISS where the α(|δ|_([0,t])) term is not present in the ISS estimate and

has no perturbations δ (i.e., {dot over (x)}(t)=

(x_(t))) is global asymptotic stability (or GAS) to

on

.

If

is robustly forwardly invariant for a system with perturbations valued in

and

⊆

, then a function V: C_(in)→

^(n) is an ISS Lyapunov function for the system with respect to

and

on

provided (a) V(x_(t)) is differentiable as a function of t on [0,∞) for all solutions x(•) of the system with initial functions x_(I)∈C_(in)(

) and (b) there are class

_(∞) functions α, α, α₀, and α₁ such that along all trajectories x(t) of the system for all initial functions x_(I)∈C_(in)(

) and for all choices of δ∈

, the following hold for all t≥0:

≤V(x_(t))≤

:

∈[t−τ,t]}) and

${\frac{d}{dt}{V\left( x_{t} \right)}}{{- {\alpha_{0}\left( {\overset{.}{V}\left( x_{t} \right)} \right)}} + {{\alpha_{1}\left( {\delta }_{\lbrack{0,t}\rbrack} \right)}.}}$

Standard arguments show that the existence of an ISS Lyapunov function with respect to

and

on

implies the ISS property with respect to

and

on

when no delays are present:and the same can be shown under time delays, by similar: arguments that we omit here.

The special case of an ISS Lyapunov function for systems {dot over (x)}(t)=

(x_(t)) without perturbations is a strict Lyapunov function with respect to

on

. This is a slightly more restrictive definition of strict Lyapunov functions, because α₀ is normally allowed to be positive definite with respect to {0}. without necessarily being of class of

_(∞), but there are techniques for transforming strict Lyapunov functions for cases where α₀ is only positive definite into new Lyapunov functions that satisfy our requirements with α₀∈

_(∞): The existence of a strict Lyapunov function implies GAS to

on

. Unless indicated, we assume for simplicity in all of what follows that the initial functions x_(I)∈C_(in)(

) are constant.

Section 3. Strict Lyapunov Function.

To analyze the effects of time delays and perturbations on the closed loop pointing system with acceleration, we will examine its ISS properties using a strict Lyapunov function that we construct next. See Proposition 1 for ways to construct the function

in the following theorem, and see the sections below where we use the ideas from this section to prove results under state constraints and delays to get state performance bounds and robustness results.

Theorem 1

Let γ>0 be a constant, and G: [0,∞)→[0,∞) be locally Lipschitz and positive valued on (0,∞) and satisfy lim inf_(r→∞) G(r)>0. Let

:

→

be a C¹ function satisfying:

${{(1)\mspace{14mu} {\mathcal{H}(r)}} = {{0\mspace{14mu} {for}\mspace{14mu} {all}\mspace{14mu} r}0}},{{{and}\mspace{14mu} {\mathcal{H}(r)}} > {0\mspace{14mu} {for}\mspace{14mu} {all}\mspace{14mu} r} > 0},{{(2)\mspace{14mu} {\int_{0}^{r}{{\overset{\sim}{G}()}\; d\; }}}{\left( {2/\gamma} \right){\mathcal{H}^{2}(r)}\mspace{14mu} {for}\mspace{14mu} {all}\mspace{14mu} r}0},{{(3)\mspace{14mu} r{\overset{\sim}{G}(r)}}{{\mathcal{H}(r)}\mspace{14mu} {for}\mspace{14mu} {all}\mspace{14mu} r}0},{{{{and}(4)}\mspace{14mu} {\mathcal{H}^{\prime}(0)}} = 0},{{{and}\mspace{14mu} 0} < {\mathcal{H}^{\prime}(r)}{\frac{\gamma}{4}\mspace{14mu} {for}\mspace{14mu} {all}\mspace{14mu} r} > 0.}$

Then the function

$\begin{matrix} {{V_{new}(x)} = {{\int_{0}^{x_{2}}{{\overset{\sim}{G}\left( \zeta^{+} \right)}\zeta^{+}d\; \zeta}} + {\frac{\gamma}{2}\left( {x_{1} + x_{2}} \right)^{2}} - {{\mathcal{H}\left( x_{2} \right)}\left( {x_{1} + x_{2}} \right)}}} & (6) \end{matrix}$

satisfies the estimates

$\begin{matrix} {{{\frac{1}{10}{\int_{0}^{x_{2}}{{\overset{\sim}{G}\left( \zeta^{+} \right)}\zeta^{+}d\; \zeta}}} + {\frac{\gamma}{4}\left( {x_{1} + x_{2}} \right)^{2}}}{V_{new}(x)}{{\int_{0}^{x_{2}}{{\overset{\sim}{G}\left( \zeta^{+} \right)}\zeta^{+}d\; \zeta}} + \frac{\mathcal{H}^{2}\left( x_{2} \right)}{2} + {\frac{\gamma + 1}{2}\left( {x_{1} + x_{2}} \right)^{2}}}} & (7) \end{matrix}$

for all x∈

² and

$\begin{matrix} {{{\overset{.}{V}}_{new}(x)}{{{- \frac{\gamma^{2}}{4}}\left( {x_{1} + x_{2}} \right)^{2}} - {\frac{1}{2}{\mathcal{H}\left( x_{2} \right)}{\overset{\sim}{G}\left( x_{2}^{+} \right)}x_{2}^{+}}}} & (8) \end{matrix}$

along all trajectories of (4), and so is a strict Lyapunov function for (4) with respect to

={x∈

²: x₁≥0,x₂=−x₁} on

=

². Therefore, (4) satisfies GAS with respect to (5) on

=

².

Proof

We can expand the first term of (6) and apply Condition (2) as

${V_{new}(x)} = {{{\frac{1}{10}{\int_{0}^{x_{2}}{{\overset{\sim}{G}\left( \zeta^{+} \right)}\zeta^{+}d\; \zeta}}} + {\frac{9}{10}{\int_{0}^{x_{2}}{{\overset{\sim}{G}\left( \zeta^{+} \right)}\zeta^{+}d\; \zeta}}} + {\frac{\gamma}{2}\left( {x_{1} + x_{2}} \right)^{2}} - {{\mathcal{H}\left( x_{2} \right)}\left( {x_{1} + x_{2}} \right)}}{{\frac{1}{10}{\int_{0}^{x_{2}}{{\overset{\sim}{G}\left( \zeta^{+} \right)}\zeta^{+}d\; \zeta}}} + {\frac{9}{5\gamma}{\mathcal{H}^{2}\left( x_{2} \right)}} + {\frac{\gamma}{2}\left( {x_{1} + x_{2}} \right)^{2}} - {{{\mathcal{H}\left( x_{2} \right)}\left( {x_{1} + x_{2}} \right)}}}}$

where we applied Condition (2) with the choice r=x₂ and also need the fact that

=0 on (−∞,0) and the lower bound −

(x₂)(x₁+x₂)≥−|

(x₂)(x₁+x₂)|. By Young's inequality, we also have

${{{\mathcal{H}\left( x_{2} \right)}\left( {x_{1} + x_{2}} \right)}}{{\frac{1}{\gamma}{\mathcal{H}^{2}\left( x_{2} \right)}} + {\frac{\gamma}{4}\left( {x_{1} + x_{2}} \right)^{2}}}$

for all x∈

². Combining the preceding two inequalities gives the lowcibound in (7). The upper bound in (7) follows by using the triangle inequality −

(x₂)(x₁+x₂)≤½

(x₂)+½(x₁+x₂)² to upper bound the term −

(x₂)(x₁+x₂) in the formula (6).

To prove the decay condition (8), notice that along all trajectories of (4), we can use the triangle inequality to get

$\begin{matrix} {{\overset{.}{V}}_{new} = {{{{- \gamma}\; {\overset{\sim}{G}\left( x_{2}^{+} \right)}{x_{2}^{+}\left( {x_{1} + x_{2}} \right)}} + {{{\gamma\mathcal{H}}^{\prime}\left( x_{2} \right)}\left( {x_{1} + x_{2}} \right)^{2}} + {\left( {{\gamma \left( {x_{1} + x_{2}} \right)} - {\mathcal{H}\left( x_{2} \right)}} \right)\left( {{{\overset{\sim}{G}\left( x_{2}^{+} \right)}x_{2}^{+}} - {\gamma \left( {x_{1} + x_{2}} \right)}} \right)}}{{- {\gamma^{2}\left( {x_{1} + x_{2}} \right)}^{2}} - {{\mathcal{H}\left( x_{2} \right)}{\overset{\sim}{G}\left( x_{2}^{+} \right)}x_{2}^{+}} + {\left( {{\left( {\frac{\gamma^{2}}{2} + {{\gamma\mathcal{H}}^{\prime}\left( x_{2} \right)}} \right)\left( {x_{1} + x_{2}} \right)^{2}} + {\frac{1}{2}{\mathcal{H}^{2}\left( x_{2} \right)}}} \right\}.}}}} & (9) \end{matrix}$

Also, by Conditions (3)-(4), we have

γ  ′  ( x 2 )  γ 2 4   and   1 2  2  ( x 2 )  1 2  ℋ  ( x 2 )  x 2 +  G ~  ( x 2 + ) ( 10 )

when x₂≥0; furthermore, (10) holds when x₂<0 as well, because in this case

(x₂)=

′(x₂)=0 by Conditions (1) and (4). Using (10) to upper bound the terms in curly braces in (9) gives (8). Letting V^(l)(x) and V^(u)(x) denote the lower and upper bounding functions for V_(new)(x) in (7), respectively, we then choose

${{\underset{\_}{\alpha}(s)} = {\frac{s}{1 + s}{\inf\left( {{{V^{l}(x)}\text{:}{x}_{ɛ}}s} \right\}}}},$

α(s)=s+sup{V^(u)(x):|x|

≤s}, and the composition α₀=α₁oα ⁻¹ to satisfy the requirements in our strict Lyapunov function definition with τ=0, where

${\alpha_{1}(s)} = {\frac{s}{1 + s}\inf {\left\{ {{{{\gamma^{2}\left( {x_{1} + x_{2}} \right)}^{2}/4} + {{\mathcal{H}\left( x_{2} \right)}{\overset{\sim}{G}\left( x_{2}^{+} \right)}{x_{2}^{+}/2}\text{:}{x}_{ɛ}}}s} \right\}.}}$

An important motivation for having an explicit construction for

from Theorem 1 comes from the possibility of redesigning the output of the pointer acceleration system to make the closed loop system ISS when there is a perturbation. Given

, it is possible to construct a redesigned pointer acceleration output

such that when there are perturbations δ in the feedback connection u=

+δ, the dynamics:

$\begin{matrix} {\overset{.}{x} = \begin{bmatrix} {{\overset{\sim}{G}\left( x_{2}^{+} \right)}x_{2}^{+}} \\ {- {\gamma \left( {{\omega^{\sharp}(x)} + x_{2} + \delta} \right)}} \end{bmatrix}} & (11) \end{matrix}$

is ISS with respect to

and

=

on

=

². This is because we can take

(x)=x₁+γ(∂V_(new)(x)/∂x₂), which can be expressed in terms of G and

from the strict Lyapunov function V_(new) in (6), and use α₀∈

_(∞) from our proof of Theorem 1 and the triangle inequality to get −|γ(∂V_(new)(x)/∂x₂)|²−γ(∂V_(new)(x)/∂x₂)δ≤−0.5|γ(∂V_(new)(x)/∂x₂)|²+0.5|δ|² and so also {dot over (V)}_(new)≤−α₀(V_(new)(x))+0.5|δ|² along all trajectories of (11), so V_(new) an ISS Lyapunov function, which implies the ISS property. This motivates finding a formula for

, and under standard conditions on G (which hold for many examples of interest from Section 1), we can readily find a function

satisfying the requirements from Theorem 1. For instance, we prove the following:

Proposition 1

Let γ>0 be a positive constant, and G:[0,∞)→[0,∞) satisfy the requirements from Theorem 1 and admit a constant c_(a)>0 such that G(r)≥c_(a)r for all r≥0. Set

$\begin{matrix} {\overset{\_}{\kappa} = {\min {\left\{ {c_{a},\sqrt{\frac{\gamma}{6}c_{a}},\frac{\gamma}{8}} \right\}.}}} & (12) \end{matrix}$

Then for any constant κ₀∈(0,κ], the function

$\begin{matrix} {{\mathcal{H}()} = {\kappa_{o}\frac{\left( ^{+} \right)^{2}}{1 + \left( ^{+} \right)^{2}}}} & (13) \end{matrix}$

satisfies Conditions (1)(4) from Theorem 1, so (6) with the choice (13) is a strict Lyapunov function for (4) with respect to (5) on

=

².

Proof

Condition (2) holds because our lower bound on G gives

$\begin{matrix} {{{\int_{0}^{r}{{\overset{\sim}{G}()}\; d\; }}{\int_{0}^{r}{c_{a}^{2}d\; }}} = {{\frac{c_{a}}{3}r^{3}}{\frac{c_{a}}{3}\frac{r^{4}}{\left( {1 + r^{2}} \right)^{2}}}{\frac{2}{\gamma}{\mathcal{H}^{2}(r)}}}} & (14) \end{matrix}$

for all r≥0, where the second inequality followed by separately considering the cases r≥1 and r<1, and where the last inequality used the fact that κ₀≤√{square root over (γc_(a)/6)}. To check Condition (3), note that

$\begin{matrix} {{\mathcal{H}(r)}{c_{a}\frac{r^{2}}{1 + r^{2}}}{c_{a}r^{2}}{r{\overset{\sim}{G}(r)}}} & (15) \end{matrix}$

holds for all r≥0. Condition (4) holds because κ₀≤γ/8, so

${\mathcal{H}^{\prime}(r)} = {{\kappa_{o}\frac{2r}{\left( {1 + r^{2}} \right)^{2}}}{\frac{\gamma}{4}\frac{r}{\left( {1 + r^{2}} \right)^{2}}}\frac{\gamma}{4}}$

for all r≥0, which proves the proposition.

Although (11) is ISS, it is useful to find conditions under which the original closed loop system (4) is ISS with respect to additive uncertainties on the original output

(x)=x₁ on suitable robustly forwardly invariant sets with maximal perturbation sets. The ISS and invariance properties of the original system characterizes its robustness under different choices of scaling functions and other parameters. We begin this analysis with our next section on robust forward invariance.

Section 4. Robust Forward Invariance

The preceding analysis motivates the problem of finding maximal allowable perturbation sets for robustly forwardly invariant sets, because the perturbation bounds one can obtain from ISS Lyapunov functions may be conservative.

In this section, we first provide an analogous result for the undelayed pointing dynamics

$\begin{matrix} {\overset{.}{x} = \begin{bmatrix} {{\overset{\sim}{G}\left( x_{2}^{+} \right)}x_{2}^{+}} \\ {- {\gamma \left( {x_{1} + x_{2} + {\delta (t)}} \right)}} \end{bmatrix}} & (16) \end{matrix}$

with uncertainties δ under suitable conditions on G. Later, we use the δ's to represent control uncertainty, or the effects of input delays. For what follows, we set

(r)=rG(r), and we use the sets

S _(a,b,c) ={x∈

² :|x ₁ |≤a,−b≤x ₁ +x ₂ ≤c}  (17)

for suitable constants a>0, b>0, and c>0; see FIG. 5.

Proposition 2

Let G:[0,∞)→[0,∞) be locally Lipschitz and positive valued on (0,∞). Let γ, a, b, and c be any positive constants such that c>|

|_([0,a+c])/γ and α>max{b, c}. Then S_(a,b,c) is robustly forwardly invariant for (16) with the maximal perturbation set

_(a,b,c)=((1/γ)|

|_([0,a+c)−c,b).

Proof

To prove robust forward invariance of S_(a,b,c), it suffices to consider continuous δ's, because if x(t,x₁,δ) was a trajectory for (16) that starts in S_(a,b,c) for a piecewise continuous δ but exits S_(a,b,c), then we could approximate δ by a continuous

_(a,b,c) valued perturbation δ_(c) (in the L¹ norm) such that x(t,x₁,δ_(c)) also exited S_(a,b,c). Set c_(p)=c−|

|_([0,a+c])/γ, and note that x₂ ⁺∈[0,a+c] for all x∈S_(a,b,c). If δ:[0,∞)→

_(a,b,c) is continuous and t≥0 were such that a corresponding trajectory x(•) of (16) for δ starts in S_(a,b,c) and x(t) is on the top leg of S_(a,b,c,) then x₁(t)+x₂(t)=c, so

$\begin{matrix} {{{{\overset{.}{x}}_{1}(t)} + {{\overset{.}{x}}_{2}(t)}} = {{{- {\gamma\left( {c + {\delta (t)} - {\frac{1}{\gamma}{\overset{\sim}{G}\left( {x_{2}^{+}(t)} \right)}{x_{2}^{+}(t)}}} \right)}} < {{- {\gamma \left( {c - {{{\overset{\sim}{G}}^{\sharp}}_{\lbrack{0,{a + c}}\rbrack}/\gamma}} \right)}} + {\gamma \; c_{p}}}} = 0.}} & (18) \end{matrix}$

This prevents x(t) from exiting S_(a,b,c,) through the top leg of S_(a,b,c), except possibly at times t when x₁(t)=±a, by continuity of {dot over (x)}₁(

)+{dot over (x)}₂(

), which implies that x₁(

)+x₂(

) is decreasing in an interval of

values of the form [t, t+

_(*)] for some

_(*)>0. (The strictness of the inequality in (18) is needed to ensure that x₁(

)+x₂(

) is decreasing in such an interval of

values.) Similarly, if x(t) is on the bottom leg of S_(a,b,c), then x₁(t)+x₂(t)=−b, so we instead get {dot over (x)}₁(t)+{dot over (x)}₂(t)=G(x₂ ⁺(t)x₂ ⁺(t)−γ(−b+δ(t))≥γ(b−δt))>0, which prevents x(t) from leaving S_(a,b,c) through the bottom leg of S_(a,b,c), except possibly if x_(t)(t)=±a. As a>b, we get x₂>0 and so also {dot over (x)}₁>0 on the left leg of S_(a,b,c). Also, {dot over (x)}₁=0 on the right leg of S_(a,b,c), as a>c ensures that x₂ ⁺=0 on the right leg of S_(a,b,c). (Without the condition a>c, we could have {dot over (x)}₁>0 on the right leg of S_(a,b,c), which would allow trajectories to exit through the right leg.) This proves the robust forward invariance property.

To prove the maximality of

_(a,b,c), first note that for each constant d>b, the trajectory of (constant perturbation δ(t)=d starting at the initial state (−b, 0) on the bottom leg of S_(a,b,c) satisfies {dot over (x)}₁(0)+{dot over (x)}₂(0)=G(x₂ ⁺(0))x₂ ⁺(0)−γ(−b+d)<0, so the trajectory leaves S_(a,b,c), through (−b,0). Also, if d<−c_(p) is any constant, and if we choose v∈[0,a+c] such that

(v)=|

|_([0,a+c]), then the trajectory for the constant perturbation δ(t)=d starting at the point (c−v,v) on the top leg of S_(a,b,c) satisfies

$\begin{matrix} \begin{matrix} {{{{\overset{.}{x}}_{1}(0)} + {{\overset{.}{x}}_{2}(0)}} = {{{\overset{\sim}{G}(v)}v} - {\gamma \left( {c + d} \right)}}} \\ {{= {{- {\gamma \left( {c - {{{\overset{\sim}{G}}^{\sharp}}_{\lbrack{0,{a + c}}\rbrack}/\gamma} + d} \right)}} > 0}},} \end{matrix} & (19) \end{matrix}$

so x(•) exits S_(a,b,c). This proves the maximality of

_(a,b,c).

Remark 1

We can replace the bounds −a≤x₁≤a in the definition of S_(a,b,c) by −a≤x₁≤d for any constant d>c; the proof of the robust forward invariance with this change is as before. The requirement c>|

|_([0,a+c])/γ from Proposition 2 holds if γ>0 is large enough. While robust forward invariance does not imply convergence to

, it can be used with our Lyapunov analysis to prove asymptotic convergence to

while maintaining suitable state performance bounds; see below. We can choose (a, b, c)∈(0, ∞)³ such that the robustly forwardly invariant set S_(a,b,c) is arbitrary large. Also, even though each set S_(a,b,c) is a proper subset of

², we can build a nested sequence S₁⊆S₂⊆ . . . of such sets whose union ∪_(t)S_(t)=

². This allows us to make statements about global system behavior.

Two pertinent features of Proposition 2: are (a) the compactness of the robustly forwardly invariant sets S_(a,b,c); and (b) the fact that the maximum perturbation sets

_(a,b,c) are intervals. If we relax the conditions that the robustly forwardly invariant sets and maximum perturbation sets must be bounded, then for each constant μ>1, we can prove robust forward invariance results for the more general system

$\begin{matrix} {{\overset{.}{x} = \begin{bmatrix} {{{\overset{\sim}{G}\left( x_{2}^{+} \right)}x_{2}^{+}} + {\delta_{1}(t)}} \\ {- {\gamma \left( {x_{1} + x_{2} + {\delta_{2}(t)}} \right)}} \end{bmatrix}},} & (20) \end{matrix}$

with perturbations δ_(i) in both equations, by replacing S_(a,b,c) by

$\begin{matrix} {S_{a,b,c}^{\mu} = \begin{Bmatrix} {{x \in {{{{\mathbb{R}}^{2}\text{:}} - b}{x_{1} + x_{2}}c}},{x_{1}{- a}},{and}} \\ {x_{2}{{\mu \; x_{1}} + {\left( {\mu + 1} \right)a} - b}} \end{Bmatrix}} & (21) \end{matrix}$

for any constant a>max{b,c}; see FIG. 6a -b. To see how, let

_(μ) denote the upper left kg of S_(a,b,c) ^(μ), having the slope μ. Then

_(μ)⊆(−∞,0)×(0,∞), because x₁≤−a+(b+c)/(1+μ)<0 for all x₁ such that x∈

_(μ). Let

${{\overset{\_}{\sigma}}_{\mu} = {\max \left\{ {{{- {{\overset{\sim}{G}}^{\sharp}\left( x_{2} \right)}} - {\frac{\gamma}{\mu}\left( {x_{1} + x_{2}} \right)\text{:}x}} \in _{\mu}} \right\}}},{c_{p}^{\sharp} = {c - {\frac{1}{\gamma}\max \left\{ {{{{\overset{\sim}{G}}^{\sharp}(s)}\text{:}s} \in \left\lbrack {0,{a + c - \frac{c + b}{1 + \mu}}} \right\rbrack} \right\}}}},{{{and}_{a,b,c}^{\mu}} = {\left\{ {d \in {{{\mathbb{R}}^{2}\text{:}\max \left\{ {{\frac{d_{1}}{\gamma} - c_{p}^{\sharp}},{\frac{\mu}{\gamma}\left( {{\overset{\_}{\sigma}}_{\mu} - d_{1}} \right)}} \right\}} < d_{2} < {\frac{d_{1}}{\gamma} + b}}} \right\}.}}$

We then prove Proposition 3.

Proposition 3

If μ>1 is a constant and γ, G, a, b, and c satisfy the assumptions from Proposition 2, then S_(a,b,c) ^(μ) is a robustly forwardly invariant set for (20) with the maximum perturbation set

_(a,b,c) ^(μ).

Proof

We indicate the changes needed in the proof of Proposition 2. We replace S_(a,b,c),

_(a,b,c), and c_(p) by S_(a,b,c) ^(μ),

_(a,b,c) ^(μ), and

, respectively. For each d∈

_(a,b,c) ^(μ), we have −

<d₂−d₁/γ<b. Hence, our treatment of the slope −1 legs of S_(a,b,c) in the proof of Proposition 2 (with δ replaced by δ₂−δ₁/γ), combined with the fact that x₂≤a+c−(c+b)/(1+μ) for all x∈S_(a,b,c) ^(μ), imply that no trajectory of (20) starting in S_(a,b,c) ^(μ) for any

_(a,b,c) ^(μ)-valued continuous perturbation can exit through either of the slope −1 legs of S_(a,b,c) ^(μ), except possibly though an endpoint of

_(μ). On the other hand, for any trajectory x(•) of (20) for any

_(a,b,c) ^(μ)-valued continuous perturbation δ(•) and any time t≥0 such that x(t)∈

_(μ), our definition of

_(a,b,c) ^(μ) gives {dot over (x)}₂(t)−μ{dot over (x)}₁(t)=−γ(x₁(t)+x₂(t)+δ₂(t))−μ

(x₂(t))−μδ₁(t)≤μ(σ _(μ)−((γ/μ)δ₂(t)+δ₁(t)))<0. Because x₂−μx₁ is the x₂ axis intercept of the line through any point x having slope μ, this implies that x(•) cannot exit S_(a,b,c) ^(μ) through

_(μ). Finally, the maximality of

_(a,b,c) ^(μ) follows from the maximality part of the proof of Proposition 2 (with |

|_([0,a+c]) and δ replaced by |

|_([0,a+c−(c+b)/(1+μ)])and δ₂−δ₁/γ, respectively), combined with the fact that the maximum in the definition of σ _(μ) occurs at some point x∈

_(μ). Hence, for any d=(d ₁,d ₂)∈

² such that (μ/γ)(−d ₁+σ _(μ))>d ₂ and the trajectory x(•) of (20) starting at the maximizing pair x for the constant perturbation δ(t)=d, we get {dot over (x)}₂(0)−μ{dot over (x)}₁(0)=μ((ρ _(μ)−((γ/μ)d ₂+d ₁))>0, so the trajectory through a S_(a,b,c,) ^(μ) through x∈

_(μ).

Remark 2

The maximum perturbation sets

0 _(a,b,c) ^(μ) are complicated because they are not product sets. However, if the assumptions of Proposition 3 hold, then we can choose μ large enough such that σ _(μ)<0, because x₂>0 for all x∈

_(μ). Then for all constants r₀∈(0,1), the set

_(a,b,c) ^(μ) the open product set neighborhood

_(a,b,c) ^(b,μ)=(−(1−r₀)γ

₀,(1−r ₀)γ

₀)×(−₀

₀ ,r ₀

₀)   (22)

of 0, where

₀=min{b,

,−σ _(μ)/γ}>0. In fact, for each d=(d₁,d₂) in the set (22), we get (d₁/γ)−

<(1−r₀)

₀−

>d₂

₀−

≤d₂, (μ/γ)(σ _(μ)−d₁)<(μ/γ)(σ _(μ)+(1−r₀)γ

₀)<(μ/γ)(σ _(μ)+γ

₀)−r₀

₀<d₂, and (d₁/γ)+b>−(1−r₀)

₀+b≥r₀

₀>d₂, which shows that d∈

_(a,b,c) ^(μ).

Remark 3

We can use the sets (22) to cover more general pointer acceleration models that could have additive uncertainties on the pointer position measurements, that is, υ=y+Δ, where we assume that Δ is a C¹ perturbation. To see how, note that by a slight variant of the argument that led to the interconnected dynamics (4), we can show that replacing y by y+Δ produces the new x₁ dynamics {dot over (x)}₁=G(|gx₂ ⁺+δ₁|), where δ₁=Δ. If x(•) is valued in S_(a,b,c) ^(μ) and the continuous perturbation δ is valued in (22) for some choice of the constant r₀∈(0,1), and if G is C¹, then we can use the Mean Value Theorem to rewrite our new x₁ subsystem as

$\begin{matrix} \begin{matrix} {{\overset{.}{x}}_{1} = {{{\overset{\sim}{G}\left( x_{2}^{+} \right)}x_{2}^{+}} + {{G\left( {gx}_{2}^{+} \right)}\delta_{1}} + {\left( {{G\left( {{{gx}_{2}^{+} + \delta_{1}}} \right)} - {G\left( {gx}_{2}^{+} \right)}} \right)\left( {{gx}_{2}^{+} + \delta_{1}} \right)}}} \\ {{= {{{\overset{\sim}{G}\left( x_{2}^{+} \right)}x_{2}^{+}} + {d_{*}\delta_{1}}}},} \end{matrix} & (23) \end{matrix}$

where |d_(*)| is bounded by Δ=|

(g(a+c)+(1−r₀)

₀γ)+|G|_([0,g(a+c)), and where we used the fact that x₂≤a+c if x∈S_(a,b,c) ^(μ). This produces a perturbed system that is covered by Proposition 3 (with δ₁ in the proposition replaced by the scaled perturbation d_(*)δ₁). Therefore, for each constant r₀∈(0, 1), each set S_(a,b,c) ^(μ) is robustly forwardly invariant for the perturbed dynamics

$\begin{matrix} {\overset{.}{x} = {\begin{bmatrix} {{G\left( {{{gx}_{2}^{+} + {\delta_{1}(t)}}} \right)}\left( {{gx}_{2}^{+} + {\delta_{1}(t)}} \right)} \\ {- {\gamma \left( {x_{1} + x_{2} + {\delta_{2}(t)}} \right)}} \end{bmatrix}.}} & (24) \end{matrix}$

when we restrict the perturbations δ to be piecewise continuous locally bounded functions that are valued in

a , b , c b , s , μ = ( - ( 1 - r 0 )  γ   ℳ 0 max  { 1 , Δ _ ) - ( 1 - r 0 )  γ   ℳ 0 max  { 1 , Δ _ ) ) × ( - r 0  ℳ 0 , r 0  ℳ 0 ) ( 25 )

which is a scaled version of the product set (22) from Remark 2.

Section 5. Robustness to Delays and Perturbations

We have so far shown how the closed loop pointing system is effected by perturbations when there are no delays. We next prove stability properties on robustly forward invariant sets under delays but without perturbations; see Theorem 3 for robustness under both delays and perturbations, under a slightly more restrictive delay bound. In what follows, the delay only occurs in x₁, which corresponds to delays between the output of the pointer acceleration system and the user's perception of the pointer location. See Section 7 for an example showing how the delay bound in the following theorem cannot be removed. Our strategy for handling delay is to add together: (i) a Lyapunov type function for the corresponding non-delayed system; and (ii) a double integral term whose bounds involve the delay. This so-called Lyapunov-Krasovskii method.

Theorem 2

(A) For all positive constants b, c, and a>max{b, c}, nondecreasing locally Lipschitz functions G: [0,∞)→[0,∞) that are positive on (0,∞), and constants

$\begin{matrix} {{\gamma > {{\overset{\sim}{G}\left( {a + c} \right)}{\left( {a + c} \right)/c}}}{and}} & (26) \\ {{\tau \in \left\lbrack {0,{\frac{1}{\left( {a + c} \right){\overset{\sim}{G}\left( {a + c} \right)}}\min \left\{ {b,{c - {\frac{1}{\gamma}{\overset{\sim}{G}\left( {a + c} \right)}\left( {a + c} \right)}}} \right\}}} \right)},} & (27) \end{matrix}$

we have the following: for all initial functions valued in S_(a,b,c), all solutions of

$\begin{matrix} {{\overset{.}{x}(t)} = \begin{bmatrix} {{\overset{\sim}{G}\left( {x_{2}^{+}(t)} \right)}{x_{2}^{+}(t)}} \\ {- {\gamma \left( {{x_{1}\left( {t - \tau} \right)} + {x_{2}(t)}} \right)}} \end{bmatrix}} & (28) \end{matrix}$

asymptotically converge to

. (B) For each bounded nondecreasing locally Lipschitz function G:[0,∞)→[0,∞) that is positive on (0,∞), each constant γ>0, and each constant τ∈[0,1/|G|_([(0,∞))), we have all solutions of (28) asymptotically converge to

.

Proof

We first prove part (A). We first show that each trajectory x(•) of (28) for any initial value in S_(a,b,c) remains in S_(a,b,c) for all t≥0. We argue by contradiction. Let τ>0 be a constant satisfying (27), and pick constants ā>a, b>b, and c>c such that

$\begin{matrix} {{{\overset{\sim}{a} > {\max \left\{ {\overset{\sim}{b},\overset{\sim}{c}} \right\}}},{\gamma > \frac{{\overset{\sim}{G}\left( {\overset{\sim}{a} + \overset{\sim}{c}} \right)}\left( {\overset{\sim}{a} + \overset{\sim}{c}} \right)}{\overset{\sim}{c}}},{and}}{{\tau < \frac{\min \left\{ {b,c_{p}} \right\}}{{\overset{\sim}{G}\left( {\overset{\sim}{a} + \overset{\sim}{c}} \right)}\left( {\overset{\sim}{a} + \overset{\sim}{c}} \right)}},}} & (29) \end{matrix}$

where c_(p)=c−|

|_([,a+c])/γ as before. We can always find such values ā, b, and c because of the strictness of the inequalities in our assumptions and the continuity of G. If x(

) did not remain in S_(a,b,c), then set t₁=sup{s≥0:x(

)∈S_(a,b,c) for all

∈[0,s]}, and let t₂>t₁ be such that x(

)∈S_(ā,b,c) for all

∈[0,t₂]. Such a t₂ exists because S_(a,b,c)⊆interior(S_(ā,b,c) ). Then the restriction of x(•) to [0,t₂] is a solution for the perturbed dynamics (16) starting in S_(a,b,c,) for δ(

)=x₁(

−τ)−x₁(

), which satisfies

$\begin{matrix} \begin{matrix} {{{\delta ()}}{\int_{ - \tau}^{}{{\overset{\sim}{G}\left( {x_{2}^{+}(r)} \right)}{x_{2}^{+}(r)}{dr}}}} \\ {{\tau \; {\overset{\sim}{G}\left( {\overset{\sim}{a} + \overset{\sim}{c}} \right)}\left( {\overset{\sim}{a} + \overset{\sim}{c}} \right)} < {\min {\left\{ {b,c_{p}} \right\}.}}} \end{matrix} & (30) \end{matrix}$

Because δ(

) remains in

_(a,b,c) on [0,t₂], it follows from Proposition 2 that x(•) stays in S_(a,b,c) on [0,t₂], contradicting the definition of t₁.

Because τ<1/G(a+c), there is a constants

∈(0,1) such that

$\begin{matrix} {\tau < \sqrt{\frac{1 - ɛ}{{\overset{\sim}{G}\left( {a + c} \right)}\left( {\frac{\overset{\sim}{G}\left( {a + c} \right)}{1 - ɛ} + {\gamma \; ɛ}} \right)},}} & (31) \end{matrix}$

because the right side of (31) converges to 1/G(a+c) as

→0 from the right. Fix such a constant

>0. We now use the function

$\begin{matrix} {{V_{n}(x)} = {{\int_{0}^{x_{2}}{{\overset{\sim}{G}\left( \zeta^{+} \right)}\zeta^{+}d\; \zeta}} + {\frac{\gamma}{2}{\left\{ {x_{1}^{2} + {ɛ\; x_{2}^{2}} + {2ɛ\; x_{1}x_{2}}} \right\}.}}}} & (32) \end{matrix}$

Note that V_(n) is not a Lvanunov function with respect to

on

², because it is not identically zero on

. For instance,

${V_{n}\left( \left( {1,{- 1}} \right) \right)} = {\frac{\gamma}{2}{\left( {1 - ɛ} \right).}}$

Nevertheless, we use V_(n) and Barbalat's Lemma to prove our stabilization result under our delay bound (27), as follows.

Along all trajectories of (28) starting in S_(a,b,c), we have

$\begin{matrix} \begin{matrix} {{\frac{d}{dt}{V_{n}\left( {x(t)} \right)}} = {{{- {\gamma \left\lbrack {{{\overset{\sim}{G}}^{\sharp}\left( {x_{2}^{+}(t)} \right)} + {\frac{\gamma}{2}\left( {{2ɛ\; {x_{1}(t)}} + {2ɛ\; {x_{2}(t)}}} \right)}} \right\rbrack}}\left( {{x_{1}\left( {t - \tau} \right)} + {x_{2}(t)}} \right)} +}} \\ {{\frac{\gamma}{2}\left( {{2{x_{1}(t)}} + {2ɛ\; {x_{2}(t)}}} \right){{\overset{\sim}{G}}^{\sharp}\left( {x_{2}^{+}(t)} \right)}}} \\ {= {- {\gamma \left\lbrack {{{\overset{\sim}{G}}^{\sharp}\left( {x_{2}^{+}(t)} \right)} + {{ɛ\gamma}\left( {{x_{1}(t)} + \; {x_{2}(t)}} \right)}} \right\rbrack}}} \\ {{\left( {{x_{1}(t)} - {\int_{t - \tau}^{t}{{{\overset{\sim}{G}}^{\sharp}\left( {x_{2}^{+}()} \right)}d\; }} + {x_{2}(t)}} \right) +}} \\ {{{\gamma \left( {{x_{1}(t)} + {x_{2}(t)}} \right){{\overset{\sim}{G}}^{\sharp}\left( {x_{2}^{+}(t)} \right)}} + {{\gamma \left( {ɛ - 1} \right)}{\overset{\sim}{G}\left( {x_{2}^{+}(t)} \right)}\left( {x_{2}^{+}(t)} \right)^{2}}}} \\ {{= {{- {W\left( {x(t)} \right)}} + {\left( x_{t} \right)}}},} \end{matrix} & (33) \end{matrix}$

where

(r)=G(r)r as before, and

W(x)=γ(1−

) G (x ₂ ⁺)(x ₂ ⁺)²+γ²

(x ₁ +x ₂)²,

(x ₁)=γ[ G (x ₂ ⁺(t))x ₂ ⁺(t)+

γ(x ₁(t)+x ₂(t))]

_(t),

and

_(t)=∫_(t−τ) ^(t) G (x ₂ ⁺(

))x ₂ ⁺(

)d

.

Because x₂≤a+c for all x∈S_(a,b,c) and G is nondecreasing, we get G(x₂ ⁺)≤(G(a+c)G(x₂ ⁺)^(1/2) for all x∈S_(a,b,c). Hence, because x(

)∈S_(a,b,c) for all

≥0, the Jensen inequality gives

_(t) ²≤τ∫_(t−τ) ^(t) G (x ₂ ⁺(

))(x ₂ ⁺(

))² d

G (a+c)   (34)

so two applications of Young's inequality give

$\begin{matrix} {\begin{matrix} {{\left( x_{1} \right)}{{\frac{1}{2}{\gamma \left( {1 - ɛ} \right)}{\overset{\sim}{G}\left( {x_{2}^{+}(t)} \right)}\left( {x_{2}^{+}(t)} \right)^{2}} + {\frac{\gamma \; {\overset{\sim}{G}\left( {a + c} \right)}}{2\left( {1 - ɛ} \right)}\mathcal{I}_{t}^{2}} +}} \\ {{{\frac{1}{2}\gamma^{2}{ɛ\left( {{x_{1}(t)} + {x_{2}(t)}} \right)}^{2}} + {\frac{ɛ\; \gamma^{2}}{2}\mathcal{I}_{t}^{2}}}} \\ {{{\frac{1}{2}{W\left( {x(t)} \right)}} + {{\int_{t - \tau}^{t}{{\overset{\sim}{G}\left( {x_{2}^{+}()} \right)}\left( {x_{2}^{+}()} \right)^{2}d\; }}}}} \end{matrix}{where}} & (35) \\ {= {\frac{\tau \; \gamma \; {\overset{\sim}{G}\left( {a + c} \right)}}{2}{\left( {\frac{\overset{\sim}{G}\left( {a + c} \right)}{1 - ɛ} + {\gamma \; ɛ}} \right).}}} & (36) \end{matrix}$

Using (35) to upper bound

(x_(t)) in (33), we get

$\begin{matrix} {{\frac{d}{dt}{V_{n}\left( {x(t)} \right)}}{{{- \frac{1}{2}}{W\left( {x(t)} \right)}} + {{\int_{t - \tau}^{\tau}{{\overset{\sim}{G}\left( {x_{2}^{+}()} \right)}\left( {x_{2}^{+}()} \right)^{2}d\; {.}}}}}} & (37) \end{matrix}$

Also, (31) gives

$< {\frac{\gamma}{2\; \tau}{\left( {1 - ɛ} \right).}}$

Fix any onstant

>0 such that

$\begin{matrix} {< \mathcal{L} < {\frac{\gamma}{2\tau}{\left( {1 - ɛ} \right).}}} & (38) \end{matrix}$

Notice that for all t≥0, we have

${\frac{d}{dt}{\int_{t - \tau}^{t}{\int_{s}^{t}{{\overset{\sim}{G}\left( {x_{2}^{+}()} \right)}\left( {x_{1}^{+}()} \right)^{2}d\; \; {ds}}}}} = {{\tau \; {\overset{\sim}{G}\left( {x_{2}^{+}(t)} \right)}\left( {x_{2}^{+}(t)} \right)^{2}} - {\int_{t - \tau}^{t}{{\overset{\sim}{G}\left( {x_{2}^{+}()} \right)}\left( {x_{2}^{+}()} \right)^{2}d\; {.}}}}$

Hence, (37) and our bounds on

give a constant c₀>0 such that the time derivative of

(x _(t))=V _(n)(x(t))+

∫_(t−τ) ^(t)∫_(s) ^(t) G (x ₂ ⁺(

))(x ₂ ⁺(

)² d

ds   (39)

along all trajectories of (28) starting in S_(a,b,c) satisfies

$\begin{matrix} \begin{matrix} {{\frac{d}{dt}{V^{\sharp}\left( x_{t} \right)}}{{{- \frac{1}{2}}{W\left( {x(t)} \right)}} + {\mathcal{L}\; \tau \; {\overset{\sim}{G}\left( {x_{2}^{+}(t)} \right)}\left( {x_{2}^{+}(t)} \right)^{2}} +}} \\ {{\left( {- \mathcal{L}} \right){\int_{t - \tau}^{t}{{\overset{\sim}{G}\left( {x_{2}^{+}()} \right)}\left( {x_{2}^{+}()} \right)^{2}d\; }}}} \\ {{{- c_{0}}{{W\left( {x(t)} \right)}.}}} \end{matrix} & (40) \end{matrix}$

The forward invariance of the compact set S_(a,b,c) ensures boundedness of x(t), and so also absolute continuity of W(x(t). Because W is positive definite with respect to

, and because (40) implies that ∫₀ ^(∞)W(x(

))d

<∞, Barbalat's Lemma gives lim_(t→∞)W(x(t))=0, and therefore also convergence of x(t) to

. This proves part (A). To prove part (B), we replace G(a+c) in the preceding argument by |G|_(0,∞)), and omit the portion of the argument about bounding δ(t), because no robust forward invariance is needed when proving a result on

² when G is bounded. This proves the theorem.

Theorem 2 provides a simple bound on the allowable constant delay τ that ensures attractivity properties of the input delayed model (28). It can be applied when one knows a suitable upper bound on τ, even if the exact value of τ is uncertain. However, because Theorem 2 is based on Barbalat's Lemma instead of a strict Lyapunov function, it does not lend itself to proving ISS properties for

$\begin{matrix} {{\overset{.}{x}(t)} = \begin{bmatrix} {{\overset{\sim}{G}\left( {x_{2}^{+}(t)} \right)}{x_{2}^{+}(t)}} \\ {- {\gamma \left( {{x_{1}\left( {t - \tau} \right)} + {x_{2}(t)} + {\delta (t)}} \right)}} \end{bmatrix}} & (41) \end{matrix}$

with uncertainty δ(t) and constant delay τ. Therefore, we prove the next result on (41), under a slightly more restrictive bound on τ than the one in Theorem 2 (but see Remark 4 for a further generalization with perturbations in both equations). We use a different

from the one in Proposition 1. Our new choice of

will not satisfy the requirements (1)-(4) from Theorem 1 for all r≥0, but it will satisfy the requirements (1)-(4) for all r≤a+c and so is a valid choice when we restrict x to any of our robustly forwardly invariant sets S_(a,b,c).

Theorem 3

Let G: [0,∞)→[0,∞) be C¹, positive definite with respect to {0}, and nondecreasing. Let b>0, c>0, and a>max{b,c} be constants. Set

(r)=r ⁺ G (r ⁺),   (42)

and let the constant γ>0 be such that c>|

|_([0,a+c])/γ and

γ>sup_(r∈(0,a+c])max{4

′(r),2

²(r)/∫₀ ^(r) G(

)

d

}.   (43)

Set c_(p)=c−G(a+c)(a+c)/γ. Then for all constants τ such that

$\begin{matrix} {0\tau < {\min \left\{ {\frac{1}{2\gamma},\frac{\min \left\{ {b,c_{p}} \right\}}{\left( {a + c} \right){\overset{\sim}{G}\left( {a + c} \right)}}} \right\}}} & (44) \end{matrix}$

the system (41) is ISS with respect to

and

=(−δ,δ) on

=S_(a,b,c), where δ=min(b, c_(p))−τG(a+c)(a+c).

Proof

Because (44) implies that the bound τ<min{b, c_(p)}/((a+c)G(a+c)) from Theorem 2 holds, we can use our bound on |δ| to argue as in the first part of the proof of Theorem 2 (with δ from the earlier proof replaced by the combined disturbance

(

)=x₁(

−τ)−x₁(

)+δ(

)) to prove that S_(a,b,c) is robustly forwardly invariant for (41) with perturbations valued in

=(−δ,δ), when (44) holds.

In particular, S_(a,b,c) is strongly invariant for (41) when τ=0 and δ=0. Therefore, because x₂ ⁺≤a+c for all x∈S_(a,b,c), and because (43) implies that (42) satisfies Conditions (1)-(4) from Theorem 1 when we restrict to values r≤a+c, the decay estimate (8) from Theorem 1 holds along all trajectories of (41) starting in S_(a,b,c) when τ=0 and δ=0. Hence, along all trajectories of (41) starting in S_(a,b,c) for all τ≥0 satisfying (44) and δ=0, our choice (42) of

gives

$\begin{matrix} \begin{matrix} {{\frac{d}{dt}{V_{new}(x)}}{{{- \frac{\gamma^{2}}{4}}\left( {x_{1} + x_{2}} \right)^{2}} - {\frac{1}{2}{\mathcal{H}\left( x_{2} \right)}{\overset{\sim}{G}\left( x_{2}^{+} \right)}x_{2}^{+}} +}} \\ {{\gamma \left\lbrack {{{- {\mathcal{H}^{\prime}\left( x_{2} \right)}}\left( {x_{1} + x_{2}} \right)} + {\gamma \left( {x_{1} + x_{2}} \right)}} \right\rbrack}} \\ {{\int_{t - \tau}^{t}{{\overset{\sim}{G}\ \left( {x_{2}^{+}()} \right)}{x_{2}^{+}()}d\; }}} \\ {{{{- \frac{\gamma^{2}}{4}}\left( {x_{1} + x_{2}} \right)^{2}} - {\frac{1}{2}{\mathcal{H}\left( {x_{2}(t)} \right)}{\overset{\sim}{G}\left( x_{2}^{+} \right)}x_{2}^{+}} +}} \\ {\left\{ {\frac{5\gamma^{2}}{4}{{x_{1} + x_{2}}}{\int_{t - \tau}^{t}{{\overset{\sim}{G}\left( {x_{2}^{+}()} \right)}{x_{2}^{+}()}\ d\; }}} \right\}} \end{matrix} & (45) \end{matrix}$

where we used (8), (42), and (43). Using Jensen's inequality, we get

$\begin{matrix} {{{\frac{5\gamma^{2}}{4}{{{x_{1}(t)} + {x_{2}(t)}}}{\int_{t - \tau}^{t}{{\overset{\sim}{G}\left( {x_{2}^{+}()} \right)}{x_{2}^{+}()}\ d\; }}}{{\frac{1}{5}{\gamma^{2}\left( {{x_{1}(t)} + {x_{2}(t)}} \right)}^{2}} + {2\; \tau \; \gamma^{2}{\int_{t - \tau}^{t}{{\mathcal{H}^{2}\left( {x_{2}^{+}()} \right)}\ d\; }}}}},} & (46) \end{matrix}$

by our choice (42) of

, because the triangle inequality gives

5/4pq≤ 5/4((1/2)(8/25)p ²+(1/2)(25/8)q ²)

for all p≥0 and q≥0.

By our delay bound (44), we can find a constant J>0 such that

$\begin{matrix} {{\tau < \frac{\sqrt{1 - {2J\; \tau}}}{2\gamma}},} & (47) \end{matrix}$

so 1−4τ²γ²−2Jτ>0. Also, our choice (42) of

implies that as α₀∈

_(∞) from the proof of Theorem 1 satisfies

α 0   ( V new  ( x ) )  γ 2 4  ( x 1 + x 2 ) 2 + 1 2  2  ( x 2 ) ( 48 )

for all x∈S_(a,b,c). Hence, we can use (46) to upper bound the quantity in curly braces in (45) and the relation

$\begin{matrix} {{\frac{d}{dt}{\int_{t - \tau}^{t}{\int_{s}^{t}{{\mathcal{H}^{2}\left( {x_{2}^{+}()} \right)}\ d\; }}}} = {{\tau \; {\mathcal{H}^{2}\left( {x_{2}^{+}(t)} \right)}} - {\int_{t - \tau}^{t}{{\mathcal{H}^{2}\left( {x_{2}^{+}()} \right)}\ d\; }}}} & (49) \end{matrix}$

to conclude that along all trajectories of (41) for δ=0 starting in S_(a,b,c) for any constant τ>0 satisfying (44), the function

(x _(t))=V _(new)(x(t)°(2τγ² +J)∫_(t−τ) ^(t)∫_(s) ^(t)

²(x ₂ ⁺(

))d

ds

satisfies

$\begin{matrix} \begin{matrix} {{\frac{d}{dt}{V_{new}^{\sharp}\left( x_{t} \right)}}{{{- \frac{\gamma^{2}}{20}}\left( {{x_{1}(t)} + {x_{2}(t)}} \right)^{2}} - {J{\int_{t - \tau}^{t}{{\mathcal{H}^{2}\left( {x_{2}^{+}()} \right)}d\; }}} -}} \\ {{\left( {\frac{1}{2} - {2\tau^{2}\gamma^{2}} - {J\; \tau}} \right){\mathcal{H}^{2}\left( {x_{2}^{+}(t)} \right)}}} \\ {{{{- \min}\left\{ {\frac{1}{5},{1 - {4\tau^{2}\gamma^{2}} - {2J\; \tau}}} \right\} {\alpha_{0}\left( {V_{new}\left( {x(t)} \right)} \right)}} -}} \\ {{\frac{J}{\tau}{\int_{t - \tau}^{t}{\int_{s}^{t}{{\mathcal{H}^{2}\left( {x_{2}^{+}()} \right)}\ d\; \; d\; s}}}}} \\ {{{- \mathcal{M}_{0}}\left\{ {{\alpha_{0}\left( {V_{new}\left( {x(t)} \right)} \right)} +} \right.}} \\ \left. {\left( {{2\tau \; \gamma^{2}} + J} \right){\int_{t - \tau}^{t}{\int_{s}^{t}{{\mathcal{H}^{2}\left( {x_{2}^{+}()} \right)}\ d\; \; {ds}}}}} \right\} \\ {{{- {\alpha_{0}^{b}\left( {V_{new}^{\sharp}\left( x_{t} \right)} \right)}}},} \end{matrix} & (50) \\ {{where}{\mathcal{M}_{0} = {\min \left\{ {\frac{1}{5},{1 - {4\tau^{2}\gamma^{2}} - {2J\; \tau}},\frac{J}{\tau \left( {{2\; {\tau\gamma}^{2}} + J} \right)}} \right\}}}} & \; \end{matrix}$

and

${\alpha_{0}^{b}(r)} = {\mathcal{M}_{0}\min \left\{ {{\alpha_{0}\left( \frac{r}{2} \right)},\frac{r}{2}} \right\}}$

is of the class

_(∞), and where we used the fact that for the class

_(∞) function α(

)=min(α₀(

),

), we have α((a+b)/2)≤α(a)+α(b) for all a≥0 and b≥0. Using the fact that |∇V_(new)| is bounded by some constant V*_(a,b,c) on the compact set S_(a,b,c), it follows that along all trajectories of (41) starting in S_(a,b,c), and for all constant delays τ satisfying (44) and all perturbations δ∈

(

), we have

$\begin{matrix} {{\frac{d}{dt}{V_{new}^{\sharp}\left( x_{t} \right)}}{{- {\alpha_{0}^{b}\left( {V_{new}^{\sharp}\left( x_{t} \right)} \right)}} + {\gamma \; V_{a,b,c}^{*}{{\delta }_{\lbrack{0,t}\rbrack}.}}}} & (51) \end{matrix}$

Therefore,

is an ISS Lyapunov function for (41) with respect to

and

on

=S_(a,b,c), which implies the ISS property.

Remark

We can generalize Theorem 3 to provide ISS results for

$\begin{matrix} {{\overset{.}{x}(t)} = \begin{bmatrix} {{{\overset{\sim}{G}\left( {x_{2}^{+}(t)} \right)}{x_{2}^{+}(t)}} + {\delta_{1}(t)}} \\ {- {\gamma \left( {{x_{1}\left( {t - \tau} \right)} + {x_{2}(t)} + {\delta_{2}(t)}} \right)}} \end{bmatrix}} & (52) \end{matrix}$

having locally bounded piecewise continuous perturbations δ₁ in both equations and constant input delays τ≥0, as follows. We assume that G, a, b, c, γ, and τ satisfy the requirements from Theorem 3, and we let μ>1 be any positive constant. Fix any constant d ₁>0 such that τ<min(b,c_(p))/(

(a+c)+d ₁), which always exists, by (44). Then (52) is ISS with respect to

and

on S_(a,b,c) ^(μ), where

♯ = { d ∈ ℝ 2  :    d 1   d _ 1 , max  { d 1 γ - c p ♯ , μ γ  ( σ _ μ - d 1 ) } + τ  ( G ~ ♯  ( a + c ) + d _ 1 ) < d 2 < d 1 γ + b - τ  ( G ~ ♯  ( a + c ) + d _ 1 ) } .

and S_(a,b,c) ^(μ),

, and σ _(μ) are as defined in Section 4. This follows from Proposition 3, the use of the augmented perturbation

(

)=x₁(

−τ)−x₁(

)+δ₂(

), and the fact that the gradient ∇V_(new)(x) is bounded on the unbounded set S_(a,b,c) ^(μ), where the terms τ(

(a+c)+d ₁) were used to bound the terms x₁(

−τ)−x₁(

) from

. This lets us cover the dynamics (24) with perturbed pointer position measurements. Because of page limitations, we leave the details to the reader.

With this final result, we have shown how the closed loop pointing system is affected by delays and perturbations. These results provide a relationship between the maximum delay, maximal perturbation set, and size of invariant sets, and this relationship depends on the scaling function G and other system parameters. In the future, this relationship can be used to compare the properties of different scaling functions and better design pointinginterfaces using acceleration.

Section 6. Simulations.

We use computational simulations to illustrate the results of this paper, including the invariance and stability properties of the closed loop pointing system with perturbations. FIG. 7a-b shows several trajectories of (41) with and without delays and perturbations, with initial conditions selected in S_(a,b,c). For this simulation, we chose the linear scaling function G(s)=1+0.1 s, g=1, and the parameter values a=1.5, b=c=1, and γ=7, which satisfy our requirements

$1 = {c > \frac{{{\overset{\sim}{G}}^{\sharp}}_{\lbrack{0,{a + c}}\rbrack}}{\gamma} \approx {0.4\mspace{14mu} {and}}}$ $7 = {{\gamma > {\sup\limits_{r \in {({0,{a + c}})}}\max \left\{ {{4{\mathcal{H}^{\prime}(r)}},{2{{\mathcal{H}^{2}(r)}/{\int_{0}^{r}{{\overset{\sim}{G}()}\; d\; }}}}} \right\}}} = 6}$

from Theorem 3. Using the notation from Theorem 3, we get c_(p)=c−G(a+c)(a+c)/γy≈0.6, so our delay condition (44) becomes

$\begin{matrix} {0\tau < {\min \left\{ {\frac{1}{2\gamma},\frac{\min \left\{ {b,c_{p}} \right\}}{\left( {a + c} \right){\overset{\sim}{G}\left( {a + c} \right)}}} \right\}} \approx 0.1} & (53) \end{matrix}$

and the delay bound from Theorem 3 is δ=min{b,c_(p)}−τG(a+c)(a+c)≈0.3. For our simulation, we chose τ=0.1 and δ(t)=0.3 sin(10πt). Without perturbations, the trajectories with initial states in S_(a,b,c) converge asymptotically to the equilibrium set

. When we add perturbations, the trajectories do not always converge to

, but do remain within S_(a,b,c). These figures show that, at least for these choices of parameters, S_(a,b,c) is invariant and

is attractive.

It is tempting to surmise that our delay conditions such as (27) can be eliminated, so that our robust forwardly invariant conclusions would remain true without the delay bounds. However, we cannot drop our delay conditions, even if there are no perturbations. For instance, if we take G(s)=1+0.1s, g=1, and the values a=1.5, and b=c=1 as in our simulation, then the corresponding set S_(a,b,c) has the upper left vertex (−1.5,2.5). However, the solution of (28) for the initial state (−1.5, 2.5)∈S_(a,b,c) and the delay τ=0.5 passes through (0,1.52)∉S_(a,b,c), so S_(a,b,c) would no longer be forwardly invariant for (28), if we were to allow a larger delay such as τ=0.5. Hence, our delay bound (27) from Theorem 2 cannot be removed.

Certain embodiments of the present disclosure can be implemented in hardware, software, firmware, or a combination thereof For example, a module in software is a part of a software program, whereas a module in hardware is a self-contained component. Various embodiments of the present disclosure are implemented in software or firmware that is stored in a memory and that is executed by a suitable instruction execution system. If implemented in hardware, various embodiments can be implemented with any or a combination of the following technologies, which are all well known in the art: a discrete logic circuit(s) having logic gates for implementing logic functions upon data signals, an application specific integrated circuit (ASIC) having appropriate combinational logic gates, a programmable gate array(s) (PGA), a field programmable gate array (FPGA), etc.

In one embodiment, the flowchart of FIG. 1 and other disclosed processes comprise an ordered listing of executable instructions for implementing logical functions, and can be embodied in any computer-readable medium for use by or in connection with an instruction execution system, apparatus, or device, such as a computer-based system, processor-containing system, or other system that can fetch the instructions from the instruction execution system, apparatus, or device and execute the instructions. In the context of this document, a “computer-readable medium” can be any means that can contain, store, communicate, or transport the program for use by or in connection with the instruction execution system, apparatus, or device. The computer readable medium can be, for example but not limited to, an electronic, magnetic, optical, electromagnetic, infrared, or semiconductor system, apparatus, device, or propagation medium. More specific examples (a nonexhaustive list) of the computer-readable medium would include the following: an electrical connection (electronic) having one or more wires, a portable computer diskette (magnetic), a random access memory (RAM) (electronic), a read-only memory (ROM) (electronic), an erasable programmable read-only memory (EPROM or Flash memory) (electronic), an optical fiber (optical), and a portable compact disc read-only memory (CDROM) (optical).

It should be emphasized that the above-described embodiments of the present disclosure are merely possible examples of implementations, merely set forth for a clear understanding of the principles of the disclosure. Many variations and modifications may be made to the above-described embodiment(s) without departing substantially from the spirit and principles of the disclosure. All such modifications and variations are intended to be included herein within the scope of this disclosure and protected by the following claims. 

We claim:
 1. A method comprising: obtaining, by a computing device, a closed loop pointer acceleration system model, in which the closed loop pointer acceleration system model is based on (1) a model describing user pointing motions integrated with (2) a model of pointer acceleration motions under operational conditions; obtaining, by the computing device, values for system parameters that include pointer acceleration profile parameters and operational condition parameters; and determining, by the computing device, a set of pointer trajectories for a given acceleration profile having the pointer acceleration profile parameters and operational condition parameters.
 2. The method of claim 1, further comprising plotting a trajectory of the pointer acceleration profile based on the determined set of pointer trajectories.
 3. The method of claim 1, further comprising repeating the obtaining and determining operations for a new set of system and operational condition parameters.
 4. The method of claim 3, further comprising plotting one or more trajectories of different pointer acceleration profiles based on the determined sets of pointer trajectories.
 5. The method of claim 3, further comprising outputting a side-by-side comparison of determined sets of pointer trajectories for different pointer acceleration profiles on a display.
 6. The method of claim 1, wherein the operational conditions are represented as at least a delay function and a perturbation function.
 7. The method of claim 5, wherein the delay function is a constant.
 8. The method of claim 1, wherein the pointer acceleration profile parameters include a gain parameter.
 9. An apparatus comprising: a processor and memory, the processor configured to obtain a closed loop pointer acceleration system model, in which the closed loop pointer acceleration system model is based on (1) a model describing user pointing motions integrated with (2) a model of pointer acceleration motions under operational conditions; obtain values for system parameters that include pointer acceleration profile parameters and operational condition parameters; and determine & output a set of pointer trajectories for a given acceleration profile having the pointer acceleration profile parameters and operational condition parameters.
 10. The apparatus of claim 9, wherein the processor is further configured to plot a trajectory of the pointer acceleration profile based on the determined set of pointer trajectories.
 11. The apparatus of claim 9, wherein the processor is further configured to repeat the obtaining and determining operations for a new set of system and operational condition parameters.
 12. The apparatus of claim 11, wherein the processor is further configured to plot one or more trajectories of different pointer acceleration profiles based on the determined sets of pointer trajectories.
 13. The apparatus of claim 11, wherein the processor is further configured to output a side-by-side comparison of determined sets of pointer trajectories for different pointer acceleration profiles on a display.
 14. The apparatus of claim 9, wherein the operational conditions are represented as at least a delay function and a perturbation function.
 15. The apparatus of claim 9, wherein the pointer acceleration profile parameters include a gain parameter.
 16. A non-transitory computer readable medium storing a plurality of computer instructions that, when executed by at least one computing device, cause the at least one computing device to at least: obtain a closed loop pointer acceleration system model, in which the closed loop pointer acceleration system model is based on (1) a model describing user pointing motions integrated with (2) a model of pointer acceleration motions under operational conditions; obtain values for system parameters that include pointer acceleration profile parameters and operational condition parameters; and determine and output a set of pointer trajectories for a given acceleration profile having the pointer acceleration profile parameters and operational condition parameters.
 17. The non-transitory computer readable medium of claim 16, wherein the plurality of instructions further cause the at least one computing device to plot a trajectory of the pointer acceleration profile based on the determined set of pointer trajectories.
 18. The non-transitory computer readable medium of claim 16, wherein the plurality of instructions further cause the at least one computing device to repeat the obtaining and determining operations for a new set of system and operational condition parameters.
 19. The non-transitory computer readable medium of claim 16, wherein the operational conditions are represented as at least a delay function and a perturbation function.
 20. The non-transitory computer readable medium of claim 19, wherein the plurality of instructions further cause the at least one computing device to plot one or more trajectories of different pointer acceleration profiles based on the determined sets of pointer trajectories. 